Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
251	Point Mutations and Transitions Between Cellular Automata Attractor Basins Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:40 Systems theory Parity 24 Physics Dynamical system Systems
252	Nusoft Newsletter – IR Series No.30 Tech Overview : Configuring Content Auditing Settings Using Regular Expressions Add to Reading List Source URL: www.nusoft.com.tw Language: English - Date: 2012-10-23 00:46:27 Formal languages Pattern matching Email Automata theory Regular expression Internet String TRE Telnet Computing Software engineering Computer programming
253	Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-07-02 05:16:10 Automated planning and scheduling Planning Domain Definition Language Theoretical computer science Models of computation Hybrid automaton Formal languages Finite-state machine Hybrid system Alphabet Automata theory Differential equations Mathematics
254	Toward a structure theory of ω-regular trace languages Namit Chaturvedi LaBRI, Bordeaux 11 Mar. 2014 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-03-17 08:01:44 Büchi automaton Muller automaton Regular language Constructible universe Ordinal number Ω-automaton Complementation of Büchi automaton Automata theory Theoretical computer science Computer science
255	Automated Grading of DFA Constructions Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-05-16 00:14:15 Model theory Models of computation Formal languages Abstraction Metalogic Deterministic finite automaton Nondeterministic finite automaton Interpretation DFA minimization Automata theory Mathematics Logic
256	Multimodal Event Parsing for Intelligent User Interfaces Will Fitzgerald Kalamazoo College Kalamazoo, MI USA + Add to Reading List Source URL: www.entish.org Language: English - Date: 1969-12-31 19:00:00 Software Automata theory Finite-state machine Speech recognition Formal grammar Dialog system Pattern recognition Tron Parsing Humanâ€“computer interaction Formal languages Computing
257	Self-Organized Criticality in Asynchronously Tuned Elementary Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2014-05-30 12:15:58 Self-organized criticality Physics Science Adjunction Field theory Cellular automaton
258	Complexity Classes in the Two-dimensional Life Cellular Automata Subspace Michael Magnier Claude Lattaud Laboratoire d’Intelligence Artificielle de Paris V, Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:17 Physics Chaos theory Dynamical system Phase transition Nature Structure Rule 184 Rule 30 Cellular automaton Systems theory Cellular automata
259	Molecular Computing Machines M Yaakov Benenson Ehud Shapiro Add to Reading List Source URL: www.dna.caltech.edu Language: English - Date: 2015-01-29 12:27:14 Turing machine Automata theory Models of computation Computability theory Read-only Turing machine Finite-state machine DNA computing Computability Deterministic automaton Theory of computation Theoretical computer science Applied mathematics
260	Some Results on Invertible Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:35:02 Matrix theory Mosaic Symmetry Tessellation Invertible matrix Algebra Linear algebra Mathematics

UPDATE